Nuprl Definition : biject
12,41
postcript
pdf
Bij(
A
;
B
;
f
) == Inj(
A
;
B
;
f
) & Surj(
A
;
B
;
f
)
latex
Definitions
P
&
Q
,
Inj(
A
;
B
;
f
)
,
Surj(
A
;
B
;
f
)
FDL editor aliases
biject
origin